<?php

echo "猪永锋是猪";
